Tractable Reasoning in a Fragment of Separation Logic.

机译：分离逻辑片段中的可实践推理。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Byron Cook; Christoph Haase; Joel Ouaknine; Matthew Parkinson; James Worrell;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Consequence-based and fixed-parameter tractable reasoning in description logics [J] . Frantisek Simancik, Boris Motik, Ian Horrocks Artificial intelligence . 2014,第apra期

机译：描述逻辑中基于结果和固定参数可处理的推理
2. Spatial reasoning with rectangular cardinal relations The convex tractable subalgebra [J] . Isabel Navarrete, Antonio Morales, Guido Sciavicco, Annals of Mathematics and Artificial Intelligence . 2013,第1期

机译：具有矩形基数关系的空间推理凸可处理子代数
3. Decomposition and tractability in qualitative spatial and temporal reasoning [J] . Jinbo Huang, Jason Jingshi Li, Jochen Renz Artificial intelligence . 2013,第FEBa期

机译：定性时空推理中的分解与易处理性
4. Tractable Reasoning in a Fragment of Separation Logic [C] . Byron Cook, Christoph Haase, Joeel Ouaknine, CONCUR 2011 - Concurrency theory . 2011

机译：分离逻辑片段中的可推理
5. The Expressiveness of SHACL and a Tractable Language Fragment Proposal [D] . Florenzano Hernández, Fernando Alberto. 2020

机译：Shacl的表现力和易于语言片段提案
6. Studies of the Inheritance of Human Ribosomal DNA Variants Detected in Two-Dimensional Separations of Genomic Restriction Fragments [O] . R. Kuick, J. I. Asakawa, J. V. Neel, 1996

机译：基因组限制性片段的二维分离中检测到的人类核糖体DNA变异的遗传研究。
7. Tractable reasoning in a fragment of separation logic [O] . Cook, B, Haase, C, Ouaknine, J, 2011

机译：分离逻辑片段中的可推理
8. Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics [R] . Coleman, J. W. 2008

机译：构造细粒度结构操作语义的可追踪推理框架

Tractable Reasoning in a Fragment of Separation Logic.

著录项

引文网络

相似文献

相关主题

期刊订阅